movq $0x42,%r12
movq %r12,0x600cc4
mov $0x4007f6,%r12
jmp *%r12
